This report aims to offer insights into cutting-edge research on digital well-being. Many of these insights come from a 2-day academic-impact event, The Future of Digital Well-Being, hosted by a team of researchers working with the Royal Netherlands Academy of Arts and Sciences (KNAW) in February 2024. Today, achieving and maintaining well-being in the face of online technologies is a multifaceted challenge that we believe requires using theoretical resources of different research disciplines. This report explores diverse perspectives on how digital (...) well-being can be actively cultivated, while also emphasising the importance of considering individual differences, societal contexts, and nuanced cultural factors. We aim to offer a holistic view of the future of digital well-being, one that will inspire the next generation of designers of online tools, as well as policymakers who will regulate these tools. We start by asking what digital well-being is – how we can best define a concept that is used by diverse stakeholders and researchers from many disciplines in various ways. To do this, we explore the classic ethical theories of well-being, showing how they can give us insights into how the term digital well-being is currently deployed. We then move to look at the existing strategies that have been proposed to actively cultivate digital well-being, exploring the business models that threaten digital well-being and the relative advantages of the digital and non-digital solutions that are currently proposed. On the one hand, digital tools – such as Apple’s Screen Time and app blockers such as Opal and Forest – integrate seamlessly with the digital lifestyles of users. They also create precise metrics for digital well-being, which facilitates their solutions to reduce screen time. On the other hand, non-digital solutions, including mindfulness practices, digital detoxes, and digital well-being coaching, offer a new set of tools to reconnect individuals to their natural rhythms and help to actively promote offline activities. We then move to discuss diversity and how various groups of users have strikingly different digital well-being needs. Embracing neurodiversity in digital well-being is crucial as it strongly impacts the users’ experience of online technologies. When designing for diversity, organisations and designers alike need to prioritise customization for people with physical disabilities, mitigate harmful content for users with mental well-being conditions, address gender stereotypes and online harassment, and be designed in ways that recognize the very real risks of online technologies. This report closes by examining cultural differences. We believe that non-Western conceptions of well-being offer rich sources for enhancing digital well-being insofar as these traditions can inform and inspire the designers of future online technologies. We focus on East-Asian and South-Asian traditions, although in further work we recognise it would be useful to investigate conceptions of well-being that are influential in the Gulf region, Africa, and South America. Each of these areas have ethical frameworks that discuss well-being in depth as well as a rich cultural heritage. In conclusion, this report’s insights underscore the imperative of recognizing diversity in digital well-being, both in terms of cultural contexts and disciplinary perspectives. It emphasises the need for culturally responsive design methodologies and the integration of non-Western philosophical perspectives into current digital well-being research. Embracing this diversity, we believe, offers the best chance to create digital environments that prioritise well-being for users and the societies they live in across the world. Ultimately, we believe that it is not only about designing better online products; it’s about shaping a digital landscape that promotes well-being and flourishing for everyone. (shrink)

I argue that relativists about aesthetic and other evaluative language face some of the same objections as non-naturalists in ethics. These objections concern the metaphysics required to make it work. Unlike contextualists, relativists believe that evaluative propositions are not about the relation in which things stand to certain standards. Nevertheless, the truth of such propositions would depend on variable standards. I argue that relativism requires the existence of states of affairs very different from other things known to exist. Furthermore, there (...) seems to be no convincing reason to postulate such entities. However, if they do not exist, then relativism leads to an error theory. That is unattractive, as relativism was meant to preserve the truth of many evaluative claims. (shrink)

Stephen Finlay analyses ‘ought’ in terms of probability. According to him, normative ‘ought's are statements about the likelihood that an act will realize some (contextually supplied) end. I raise a problem for this theory. It concerns the relation between ‘ought’ and the balance of reasons. ‘A ought to Φ’ seems to entail that the balance of reasons favours that A Φ-es, and vice versa. Given Finlay's semantics for ‘ought’, it also makes sense to think of reasons and their weight in (...) terms of probability. In this paper, I develop such a theory of weight. It turns out, however, that it cannot explain the entailments. This leaves Finlay with a challenge: to explain these entailments in some other way consistent with his theory, or to show why the appearances deceive and there are no such entailments. (shrink)

ABSTRACT: This paper offers a generic revenge-proof solution to the Sorites paradox that is compatible with several philosophical approaches to vagueness, including epistemicism, supervaluationism, psychological contextualism and intuitionism. The solution is traditional in that it rejects the Sorites conditional and proposes a modally expressed weakened conditional instead. The modalities are defined by the first-order logic QS4M+FIN. (This logic is a modal companion to the intermediate logic QH+KF, which places the solution between intuitionistic and classical logic.) Borderlineness is introduced modally as (...) usual. The solution is innovative in that its modal system brings out the semi-determinability of vagueness. Whether something is borderline and whether a predicate is vague or precise is only semi-determinable: higher-order vagueness is columnar. Finally, the solution is based entirely on two assumptions. (1) It rejects the Sorites conditional. (2) It maintains that if one specifies borderlineness in terms of the ‒suitably interpreted‒ modal logic QS4M+FIN, then one can explain why the Sorites appears paradoxical. From (1)+(2) it results that one can tell neither where exactly in a Sorites series the borderline zone starts and ends nor what its extension is. Accordingly, the solution is also called agnostic. (shrink)

Although artificial intelligence has been given an unprecedented amount of attention in both the public and academic domains in the last few years, its convergence with other transformative technologies like cloud computing, robotics, and augmented/virtual reality is predicted to exacerbate its impacts on society. The adoption and integration of these technologies within industry and manufacturing spaces is a fundamental part of what is called Industry 4.0, or the Fourth Industrial Revolution. The impacts of this paradigm shift on the human operators (...) who continue to work alongside and symbiotically with these technologies in the industry bring with it novel ethical issues. Therefore, how to design these technologies for human values becomes the critical area of intervention. This paper takes up the case study of robotic AI-based assistance systems to explore the potential value implications that emerge due to current design practices and use. The design methodology known as Value Sensitive Design (VSD) is proposed as a sufficient starting point for designing these technologies for human values to address these issues. (shrink)

ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which (...) establish the formal validity of non-indemonstrable arguments by analysing them in one or more steps into one or more indemonstrable arguments (cut type rules and antilogism). The function of these rules is to reduce given non-indemonstrable arguments to indemonstrable syllogisms. Moreover, the Stoic method of deduction differs from standard modern ones in that the direction is reversed (similar to tableau methods). The Stoic system may hence be called an argumental reductive system of deduction. In this paper, a reconstruction of this system of logic is presented, and similarities to relevance logic are pointed out. (shrink)

ABSTRACT: This is a little piece directed at the newcomer to Aristotle, making some general remarks about reading Aristotle at the beginning and end, with sandwiched in between, a brief and much simplified discussion of some common misunderstandings of Aristotle's philosophy, concerning spontaneity, causal indeterminism, freedom-to-do-otherwise, free choice, agent causation, logical determinism, teleological determinism, artistic creativity and freedom (eleutheria).

I argue that relativists about evaluative language face some of the same objections as non-naturalists in ethics. If these objections are powerful, there is reason to doubt the existence of relative evaluative states of affairs. In they do not exist, then relativism leads to an error theory. This is unattractive, as the position was specifically designed to preserve the truth of many evaluative claims.

There is a trade-off between specificity and accuracy in existing models of belief. Descriptions of agents in the tripartite model, which recognizes only three doxastic attitudes—belief, disbelief, and suspension of judgment—are typically accurate, but not sufficiently specific. The orthodox Bayesian model, which requires real-valued credences, is perfectly specific, but often inaccurate: we often lack precise credences. I argue, first, that a popular attempt to fix the Bayesian model by using sets of functions is also inaccurate, since it requires us to (...) have interval-valued credences with perfectly precise endpoints. We can see this problem as analogous to the problem of higher order vagueness. Ultimately, I argue, the only way to avoid these problems is to endorse Insurmountable Unclassifiability. This principle has some surprising and radical consequences. For example, it entails that the trade-off between accuracy and specificity is in-principle unavoidable: sometimes it is simply impossible to characterize an agent’s doxastic state in a way that is both fully accurate and maximally specific. What we can do, however, is improve on both the tripartite and existing Bayesian models. I construct a new model of belief—the minimal model—that allows us to characterize agents with much greater specificity than the tripartite model, and yet which remains, unlike existing Bayesian models, perfectly accurate. (shrink)

ABSTRACT: The 3rd BCE Stoic logician "Chrysippus says that the number of conjunctions constructible from ten propositions exceeds one million. Hipparchus refuted this, demonstrating that the affirmative encompasses 103,049 conjunctions and the negative 310,952." After laying dormant for over 2000 years, the numbers in this Plutarch passage were recently identified as the 10th (and a derivative of the 11th) Schröder number, and F. Acerbi showed how the 2nd BCE astronomer Hipparchus could have calculated them. What remained unexplained is why Hipparchus’ (...) logic differed from Stoic logic, and consequently, whether Hipparchus actually refuted Chrysippus. This paper closes these explanatory gaps. (1) I reconstruct Hipparchus’ notions of conjunction and negation, and show how they differ from Stoic logic. (2) Based on evidence from Stoic logic, I reconstruct Chrysippus’ calculations, thereby (a) showing that Chrysippus’ claim of over a million conjunctions was correct; and (b) shedding new light on Stoic logic and – possibly – on 3rd century BCE combinatorics. (3) Using evidence about the developments in logic from the 3rd to the 2nd centuries, including the amalgamation of Peripatetic and Stoic theories, I explain why Hipparchus, in his calculations, used the logical notions he did, and why he may have thought they were Stoic. OPEN ACCESS LINK. (shrink)

According to subjectivist views about a meaningful life, one's life is meaningful in virtue of desire satisfaction or feelings of fulfilment. Standard counterexamples consist of satisfaction found through trivial or immoral tasks. In response to such examples, many philosophers require that the tasks one is devoted to are objectively valuable, or have objectively valuable consequences. I argue that the counterexamples to subjectivism do not require objective value for meaning in life. I also consider other reasons for thinking that meaning in (...) life requires objective value and raise doubts about their strength. Finally, I argue that beauty is not plausibly objective, but that it seems important for meaning. This puts pressure on the objectivist to explain why objectivity matters in the case of other values. (shrink)

In his recent book Slaves of the Passions , Mark Schroeder defends a Humean account of practical reasons ( hypotheticalism ). He argues that it is compatible with 'genuinely agent-neutral reasons'. These are reasons that any agent whatsoever has. According to Schroeder, they may well include moral reasons. Furthermore, he proposes a novel account of a reason's weight, which is supposed to vindicate the claim that agent-neutral reasons ( if they exist), would be weighty irrespective of anyone's desires. If the (...) argument is successful, it could help avoid an error-theory of moral language. I argue that it isn't, and that we should reject a Humean approach to reasons. (shrink)

ABSTRACT: This paper argues that the so-called paradoxes of higher-order vagueness are the result of a confusion between higher-order vagueness and the distribution of the objects of a Sorites series into extensionally non-overlapping non-empty classes.

In his book Slaves of the Passions, Mark Schroeder defends a Humean theory of reasons. Humeanism is the view that you have a reason to X only if X‐ing promotes at least one of your desires. But Schroeder rejects a natural companion theory of the weight of reasons, which he calls proportionalism. According to it, the weight of a reason is proportionate to the strength of the desire that grounds it and the extent to which the act promotes the object (...) of that desire. In this paper, I aim to do three things: (1) to show why Schroeder's arguments against proportionalism do not refute it; (2) to identify the real trouble with proportionalism; and (3) to suggest a better way of understanding it (preferentialism). According to this theory, the overall strength of reasons is determined by the agent's preferences. (shrink)

Aesthetic non-naturalism is the view that there are objective aesthetic truths that hold in virtue of sui generis facts. This view is seldom explicitly endorsed in philosophical aesthetics. I argue that many aestheticians should treat it as the view to beat, since (a) their commitments favour aesthetic realism, (b) non-naturalistic forms of aesthetic realism are particularly promising and (c) non-naturalists have reasonable answers to four important objections.

Moral contextualism is the view that claims like ‘A ought to X’ are implicitly relative to some (contextually variable) standard. This leads to a problem: what are fundamental moral claims like ‘You ought to maximize happiness’ relative to? If this claim is relative to a utilitarian standard, then its truth conditions are trivial: ‘Relative to utilitarianism, you ought to maximize happiness’. But it certainly doesn’t seem trivial that you ought to maximize happiness (utilitarianism is a highly controversial position). Some people (...) believe this problem is a reason to prefer a realist or error theoretic semantics of morals. I argue two things: first, that plausible versions of all these theories are afflicted by the problem equally, and second, that any solution available to the realist and error theorist is also available to the contextualist. So the problem of triviality does not favour noncontextualist views of moral language. (shrink)

I first show how one might argue for a mind-independent conception of beauty and artistic merit. I then discuss whether this makes aesthetic judgements suitable to undermine skeptical worries about the existence of mind-independent moral value and categorical reasons.

Sharon Street argues that realism about epistemic normativity is false. Realists believe there are truths about epistemic reasons that hold independently of the agent’s attitudes. Street argues by dilemma. Either the realist accepts a certain account of the nature of belief, or she does not. If she does, then she cannot consistently accept realism. If she does not, then she has no scientifically credible explanation of the fact that our epistemic behaviours or beliefs about epistemic reasons align with independent normative (...) truths. I argue that neither horn is very sharp for realists about epistemic normativity. (shrink)

Why, if at all, should we object to economic inequality? Some central arguments – the argument from decreasing marginal utility for example – invoke instrumental reasons and object to inequality because of its effects. Such instrumental arguments, however, often concern only the static effects of inequality and neglect its intertemporal conse- quences. In this article, we address this striking gap and investigate income inequality’s intertemporal consequences, including its potential effects on humanity’s (very) long-term future. Following recent arguments around future generations (...) and so-called longtermism, those effects might arguably matter more than inequality’s short-term con- sequences. We assess whether we have instrumental reason to reduce economic inequality based on its intertemporal effects in the short, medium, and the very long term. We find a good short and medium-term instrumental case for lower economic inequality. We then argue, somewhat speculatively, that we have instrumental reasons for inequality reduction from a longtermist perspective too, primarily because greater inequality could increase existential risk. We thus have instrumental reasons to reduce inequality, regardless of which time-horizon we take. We then argue that from most consequentialist perspectives, this pro tanto reason also gives us all-things-considered reason. And even across most non-consequentialist views in philosophy, this argument gives us either an all-things-considered or at least weighty pro tanto reason against inequality. (shrink)

Farbod Akhlaghi (2021) argues that noncognitivists and naturalists cannot explain the epistemic possibility of wholesale moral error. This would show that noncognitivism and naturalism are false. I argue that noncognitivists and naturalists have no trouble explaining the epistemic possibility of wholesale moral error and that the requirement to explain this possibility is plausible only on one particular conception of epistemic possibility.

In this extended essay, I argue that Frege plagiarized the Stoics --and I mean exactly that-- on a large scale in his work on the philosophy of logic and language as written mainly between 1890 and his death in 1925 (much of which published posthumously) and possibly earlier. I use ‘plagiarize' (or 'plagiarise’) merely as a descriptive term. The essay is not concerned with finger pointing or casting moral judgement. The point is rather to demonstrate carefully by means of detailed (...) evidence that there are numerous (over a hundred) and extensive parallels both in formulation and --more importantly-- in content between the Stoics and Frege, parallels so plentiful that one would be hard pressed to brush them off as coincidence. These parallels include several that appear to occur in no other modern works that were published before Frege’s own and were accessible to him. Additionally, a cluster of corroborating historical data is adduced to support the suggestion, showing how easy it would have to been for Frege to plagiarize the Stoics. This (first) part of the essay is easy to read and vaguely entertaining, or so I hope. -/- (Corrigendum: At school, Frege likely had seven, not ten, years of intensive Latin and four years of intensive ancient Greek courses.). (shrink)

Since Mates’ seminal Stoic Logic there has been uncertainty and debate about how to treat the term anapodeiktos when used of Stoic syllogisms. This paper argues that the customary translation of anapodeiktos by ‘indemonstrable’ is accurate, and it explains why this is so. At the heart of the explanation is an argument that, contrary to what is commonly assumed, indemonstrability is rooted in the generic account of the Stoic epistemic notion of demonstration. Some minor insights into Stoic logic ensue.

Wide-scopers argue that the detachment of intuitively false ‘ought’ claims from hypothetical imperatives is blocked because ‘ought’ takes wide, as opposed to narrow, scope. I present two arguments against this view. The first questions the premise that natural language conditionals are true just in case the antecedent is false. The second shows that intuitively false ‘ought’s can still be detached even WITH wide-scope readings. This weakens the motivation for wide-scoping.

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We consider (...) and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

According to Stephen Finlay, ‘A ought to X’ means that X-ing is more conducive to contextually salient ends than relevant alternatives. This in turn is analysed in terms of probability. I show why this theory of ‘ought’ is hard to square with a theory of a reason’s weight which could explain why ‘A ought to X’ logically entails that the balance of reasons favours that A X-es. I develop two theories of weight to illustrate my point. I first look at (...) the prospects of a theory of weight based on expected utility theory. I then suggest a simpler theory. Although neither allows that ‘A ought to X’ logically entails that the balance of reasons favours that A X-es, this price may be accepted. For there remains a strong pragmatic relation between these claims. (shrink)

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...) logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...) (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

ABSTRACT: I argue that there is no evidence that Epicurus dealt with the kind of free-will problem he is traditionally associated with; i.e. that he discussed free choice or moral responsibility grounded on free choice, or that the "swerve" was involved in decision processes. Rather, for Epicurus, actions are fully determined by the agent's mental disposition at the outset of the action. Moral responsibility presupposes not free choice but that the person is unforced and causally responsible for the action. This (...) requires the agent's ability to influence causally, on the basis of their beliefs, the development of their behavioral dispositions. The "swerve" was intended to explain the non-necessity of agency without undermining Epicurus' atomistic explanation of the order in the universe, viz. by making the mental dispositions of adults non-necessary. (shrink)

Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. It corresponds (...) to the class of transitive, reflexive and final frames. With borderlineness defined logically as usual, it then follows that something is borderline precisely when it is higher-order borderline, and that a predicate is vague precisely when it is higher-order vague.Like Williamson's, the theory proposed here has no clear borderline cases in Sorites sequences. I argue that objections that there must be clear borderline cases ensue from the confusion of two notions of borderlineness—one associated with genuine higher-order vagueness, the other employed to sort objects into categories—and that the higher-order vagueness paradoxes result from superimposing the second notion onto the first. Lastly, I address some further potential objections. (shrink)

Farbod Akhlaghi (2021) argues that noncognitivists and naturalists cannot explain the epistemic possibility of wholesale moral error. This would show that noncognitivism and naturalism are false. I argue that noncognitivists and naturalists have no trouble explaining the epistemic possibility of wholesale moral error and that the requirement to explain this possibility is plausible only on one particular conception of epistemic possibility.

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

Peter Kivy claims that expressivists in aesthetics cannot explain why we argue about art. The situation would be different in the case of morals. Moral attitudes lead to action, and since actions affect people, we have a strong incentive to change people’s moral attitudes. This can explain why we argue about morals, even if moral language is expressive of our feelings. However, judgements about what is beautiful and elegant need not significantly affect our lives. So why be concerned with other (...) people’s feelings about art? Kivy thinks the best explanation of our tendency to argue about art is that we implicitly believe in objective facts about aesthetics. This would count against expressivism. I argue two things: that there is no good reason to think that we don’t care about preferences and emotions unless they have significant practical consequences and that the truth of expressivism about aesthetic language is compatible with beliefs about objective aesthetic facts. (shrink)

ABSTRACT: This paper serves two purposes: (i) it can be used by students as an introduction to chapters 1-5 of book iii of the NE; (ii) it suggests an answer to the unresolved question what overall objective this section of the NE has. The paper focuses primarily on Aristotle’s theory of what makes us responsible for our actions and character. After some preliminary observations about praise, blame and responsibility (Section 2), it sets out in detail how all the key notions (...) of NE iii 1-5 are interrelated (Sections 3-9). The setting-out of these interconnections makes it then possible to provide a comprehensive interpretation of the purpose of the passage. Its primary purpose is to explain how agents are responsible for their actions not just insofar as they are actions of this kind or that, but also insofar as they are noble or base: agents are responsible for their actions qua noble or base, because, typically via choice, their character dispositions are a causal factor of those actions (Section 10). The paper illustrates the different ways in which agents can be causes of their actions by means of Aristotle’s four basic types of agents (Section 11). A secondary purpose of NE iii 1-5 is to explain how agents can be held responsible for consequences of their actions (Section 12), in particular for their character dispositions insofar as these are noble or base, i.e. virtues or vices (Section 13). These two goals are not the only ones Aristotle pursues in the passage. But they are the ones Aristotle himself indicates in its first sentence and summarizes in its last paragraph; and the ones that give the passage a systematic unity. The paper also briefly consider the issues of freedom-to-do-otherwise, free choice and free-will in the contexts in which they occur (i.e. in the final paragraphs of Sections 6, 7, 12, 13). (shrink)

ABSTRACT: A very brief summary presentation of western ancient logic for the non-specialized reader, from the beginnings to Boethius. For a much more detailed presentation see my "Ancient Logic" in the Stanford Encyclopedia of Philosopy (also on PhilPapers).

Bart Streumer believes that the following principle is true of all normative judgements: When two people make conflicting normative judgements, at most one of them is correct. Streumer argues that noncognitivists are unable to explain why is true, or our acceptance of it. I argue that his arguments are inconclusive. I also argue that our acceptance of is limited in the case of instrumental and epistemic normative judgements, and that the extent to which we do accept for such judgements can (...) be explained by an assumption of shared standards of correctness. Finally, I argue that reductivists can appeal to the same ideas to defend their view that instrumental and epistemic normative judgements describe non-normative relations. (shrink)

ABSTRACT: Summary presentation of the surviving logic theories of Philo the Dialectician (aka Philo of Megara) and Diodorus Cronus, including some general remarks on propositional logical elements in their logic, a presentation of their theories of the conditional and a presentation of their modal theories, including a brief suggestion for a solution of the Master Argument.

The idea that normative statements implicitly refer to standards has been around for quite some time. It is usually defended by normative antirealists, who tend to be attracted to Humean theories of reasons. But this is an awkward combination: 'A ought to X' entails that there are reasons for A to X, and 'A ought to X all things considered' entails that the balance of reasons favours X-ing. If the standards implicitly referred to are not those of the agent, then (...) why would these entailments hold? After all, Humeanism says that 'A has a reason to X' is true if and only if A has some desire which is furthered by X-ing. In this paper, I develop a standard-relational theory of 'ought' and a non-Humean theory of reasons (oughtism). Together, they explain why 'A ought to X' entails not only that there are reasons for A to X, but also that the balance of reasons favours X-ing. The latter explanation depends on a theory of weight, in which the weight of a reason depends on the position of a rule (standard) in an order of priorities. The theories are truth-conditional, but do not require objective normative facts for the truth of 'ought' judgments and judgments about reasons. (shrink)

ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he call any (...) arguments ‘hypothetical syllogisms’. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them ‘hypothetical syllogisms’; nor did they describe them as ponendo ponens, etc. The tradition of the four argument forms and the classification of the arguments as hypothetical syllogisms hence need some explaining. In this paper, I offer some explanations by tracing the development of certain elements of Aristotle’s logic via the early Peripatetics to the logic of later antiquity. I consider the questions: How did the four argument forms arise? Why were there four of them? Why were arguments of these forms called ‘hypothetical syllogisms’? On what grounds were they considered valid? I argue that such arguments were neither part of Aristotle’s dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle’s logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some 20th century theories. (shrink)

Bobzien’s reply to a defamatory blogpost on her essay ‘Frege plagiarized the Stoics’ in which she is accused among other things of plagiarism (!), and deliberate deception, and which contains a large number of falsehoods. (This reply is a minor contribution to the discussion of 'Frege plagiarized the Stoics', simply setting the record straight. It contains no important philosophical content whatsoever.).

ABSTRACT: Recently a bold and admirable interpretation of Chrysippus’ position on the Sorites has been presented, suggesting that Chrysippus offered a solution to the Sorites by (i) taking an epistemicist position1 which (ii) made allowances for higher-order vagueness. In this paper I argue (i) that Chrysippus did not take an epistemicist position, but − if any − a non-epistemic one which denies truth-values to some cases in a Sorites-series, and (ii) that it is uncertain whether and how he made allowances (...) for higher-order vagueness, but if he did, this was not grounded on an epistemicist position. (shrink)

ABSTRACT: This is a short companion piece to my ‘Found in Translation – Aristotle’s Nicomachean Ethics III.5 1113b7-8 and its Reception’ in which I examine in close textual analysis the philosophical question whether these two lines from the Nicomachean Ethics provide any evidence that Aristotle discussed free choice – as is not infrequently assumed. The result is that they do not, and that the claim that they do tends to be based on a mistranslation of the Greek. (There is some (...) inevitable overlap with Part 1 of the 'Found in Translation' paper.). (shrink)

ABSTRACT: In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the ‘mixed hypothetical syllogisms’. The other type is the one to which the present paper is devoted. These arguments went by the name of ‘wholly hypothetical syllogisms’. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premisses, and a third as conclusion. Their presentation, either schematically or by example, varies in different authors. For (...) instance, we find ‘If (it is) A, (it is) B; if (it is) B, (it is) C; therefore, if (it is) A, (it is) C’. The main contentious point about these arguments is what the ancients thought their logical form was. Are A, B, C schematic letters for terms or propositions? Is ‘is’, where it occurs, predicative, existential, or veridical? That is, should ‘A esti’ be translated as ‘it is an A’, ‘A exists’, ‘As exist’ or ‘It is true/the case that A’? If A, B, C are term letters, and ‘is’ is predicative, are the conditionals quantified propositions or do they contain designators? If one cannot answer these questions, one can hardly claim to know what sort of arguments the wholly hypothetical syllogisms were. In fact, all the above-mentioned possibilities have been taken to describe them correctly. In this paper I argue that it would be mistaken to assume that in antiquity there was one prevalent understanding of the logical form of these arguments - even if the ancients thought they were all talking about the same kind of argument. Rather, there was a complex development in their understanding, starting from a term-logical conception and leading to a propositional-logical one. I trace this development from Aristotle to Philoponus and set out the deductive system on which the logic of the wholly hypothetical syllogisms was grounded. (shrink)

ABSTRACT: This paper discusses ancient versions of paradoxes today classified as paradoxes of presupposition and how their ancient solutions compare with contemporary ones. Sections 1-4 air ancient evidence for the Fallacy of Complex Question and suggested solutions, introduce the Horn Paradox, consider its authorship and contemporary solutions. Section 5 reconstructs the Stoic solution, suggesting the Stoics produced a Russellian-type solution based on a hidden scope ambiguity of negation. The difference to Russell's explanation of definite descriptions is that in the Horn (...) Paradox the Stoics uncovered a hidden conjunction rather than a hidden existential sentence. Sections 6 and 7 investigate hidden ambiguities in 'to have' and 'to lose' (including inalienable and alienable possession) and ambiguities of quantification based on substitution of indefinite plural expressions for indefinite or anaphoric pronouns, and Stoic awareness of these. Section 8 considers metaphorical readings and allusions that add further spice to the paradox. (shrink)

ABSTRACT: A systematic reconstruction of Chrysippus’ theory of causes, grounded on the Stoic tenets that causes are bodies, that they are relative, and that all causation can ultimately be traced back to the one ‘active principle’ which pervades all things. I argue that Chrysippus neither developed a finished taxonomy of causes, nor intended to do so, and that he did not have a set of technical terms for mutually exclusive classes of causes. Rather, the various adjectives which he used for (...) causes had the function of describing or explaining particular features of certain causes in particular philosophical contexts. I challenge the sometimes assumed close connection of Chrysippus’ notion of causation with explanation. I show that the standard view that the distinction between proximate and auxiliary causes and perfect and principal causes corresponds to the distinction between internal and external determining factors is not born out by the evidence, and argue that causes of the two types were not thought to co-operate, but rather conceived of as alternatives. (shrink)

ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles of propositional logic; 4. (...) Stoic modal logic; 5. Stoic theory of arguments: two premisses requirement; validity and soundness; 6. Stoic syllogistic or theory of formally valid arguments: a reconstruction of the Stoic deductive system, which consisted of accounts of five types of indemonstrable syllogisms, which function as nullary argumental rules that identify indemonstrables or axioms of the system, and four deductive rules (themata) by which certain complex arguments can be reduced to indemonstrables and thus shown to be formally valid themselves; 7. arguments that were considered as non-syllogistically valid (subsyllogistic and unmethodically concluding arguments). Their validity was explained by recourse to formally valid arguments. (shrink)

ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our use of (...) that notion. The chapter argues that, by using a truth operator rather than truth predicate, it is possible to provide a coherent, model-theoretic representation of truth with various desirable features. After investigating what features of liar sentences are responsible for their paradoxicality, the chapter identifies the logic as the normal modal logic KT4M (= S4M). Drawing on the structure of KT4M (=S4M), the author proposes that, pace deflationism, truth has content, that the content of truth is bivalence, and that the notions of both truth and bivalence are semideterminable. (shrink)

ABSTRACT: In this paper I argue (i) that the hypothetical arguments about which the Stoic Chrysippus wrote numerous books (DL 7.196) are not to be confused with the so-called hypothetical syllogisms" but are the same hypothetical arguments as those mentioned five times in Epictetus (e.g. Diss. 1.25.11-12); and (ii) that these hypothetical arguments are formed by replacing in a non-hypothetical argument one (or more) of the premisses by a Stoic "hypothesis" or supposition. Such "hypotheses" or suppositions differ from propositions in (...) that they have a specific logical form and no truth-value. The reason for the introduction of a distinct class of hypothetical arguments can be found in the context of dialectical argumentation. The paper concludes with the discussion of some evidence for the use of Stoic hypothetical arguments in ancient texts. (shrink)

ABSTRACT: A detailed presentation of Stoic theory of arguments, including truth-value changes of arguments, Stoic syllogistic, Stoic indemonstrable arguments, Stoic inference rules (themata), including cut rules and antilogism, argumental deduction, elements of relevance logic in Stoic syllogistic, the question of completeness of Stoic logic, Stoic arguments valid in the specific sense, e.g. "Dio says it is day. But Dio speaks truly. Therefore it is day." A more formal and more detailed account of the Stoic theory of deduction can be found (...) in S. Bobzien, Stoic Syllogistic, OSAP 1996. (shrink)